Function Composition

Given functions \(g : B \to C\) and \(f : A \to B\) we define the composition operation \(\circ\) such that

In particular, we require \(\mathrm{codomain}(f) = \mathrm{domain}(g)\) in order for this to be well defined.